261 research outputs found
Ounjougou (Mali): A history of holocene settlement at the southern edge of the Sahara
The area of Ounjougou consists of a series of gullies cut through Upper Pleistocene and Holocene formations on the Dogon Plateau in the Sahel at the south edge of the Sahara Desert. Here the authors have chronicled a stratified sequence of human occupation from the tenth to the second millennium BC, recording natural and anthropogenic strata containing artefacts and micro- and macro- palaeoecological remains, mostly in an excellent state of preservation. They present a first synthesis of the archaeological and environmental sequence for the Holocene period, define five main occupation phases for Ounjougou, and attempt to place them within the context of West African prehistor
The emergence of pottery in Africa during the tenth millennium cal BC: new evidence from Ounjougou (Mali)
New excavations in ravines at Ounjougou in Mali have brought to light a lithic and ceramic assemblage that dates from before 9400 cal BC. The authors show that this first use of pottery coincides with a warm wet period in the Sahara. As in East Asia, where very early ceramics are also known, the pottery and small bifacial arrowheads were the components of a new subsistence strategy exploiting an ecology associated with abundant wild grasses. In Africa, however, the seeds were probably boiled (then as now) rather than made into bread
The emergence of pottery in Africa during the tenth millennium cal BC: new evidence from Ounjougou (Mali)
New excavations in ravines at Ounjougou in Mali have brought to light a lithic and ceramic assemblage that dates from before 9400 cal BC. The authors show that this first use of pottery coincides with a warm wet period in the Sahara. As in East Asia, where very early ceramics are also known, the pottery and small bifacial arrowheads were the components of a new subsistence strategy exploiting an ecology associated with abundant wild grasses. In Africa, however, the seeds were probably boiled (then as now) rather than made into brea
Rich Counter-Examples for Temporal-Epistemic Logic Model Checking
Model checking verifies that a model of a system satisfies a given property,
and otherwise produces a counter-example explaining the violation. The verified
properties are formally expressed in temporal logics. Some temporal logics,
such as CTL, are branching: they allow to express facts about the whole
computation tree of the model, rather than on each single linear computation.
This branching aspect is even more critical when dealing with multi-modal
logics, i.e. logics expressing facts about systems with several transition
relations. A prominent example is CTLK, a logic that reasons about temporal and
epistemic properties of multi-agent systems. In general, model checkers produce
linear counter-examples for failed properties, composed of a single computation
path of the model. But some branching properties are only poorly and partially
explained by a linear counter-example.
This paper proposes richer counter-example structures called tree-like
annotated counter-examples (TLACEs), for properties in Action-Restricted CTL
(ARCTL), an extension of CTL quantifying paths restricted in terms of actions
labeling transitions of the model. These counter-examples have a branching
structure that supports more complete description of property violations.
Elements of these counter-examples are annotated with parts of the property to
give a better understanding of their structure. Visualization and browsing of
these richer counter-examples become a critical issue, as the number of
branches and states can grow exponentially for deeply-nested properties.
This paper formally defines the structure of TLACEs, characterizes adequate
counter-examples w.r.t. models and failed properties, and gives a generation
algorithm for ARCTL properties. It also illustrates the approach with examples
in CTLK, using a reduction of CTLK to ARCTL. The proposed approach has been
implemented, first by extending the NuSMV model checker to generate and export
branching counter-examples, secondly by providing an interactive graphical
interface to visualize and browse them.Comment: In Proceedings IWIGP 2012, arXiv:1202.422
Midline Signalling Systems Direct the Formation of a Neural Map by Dendritic Targeting in the Drosophila Motor System
During embryonic development of the motor system of Drosophila, motorneurons target their dendrites to different regions along the body axis in response to midline guidance cues
ORCHIDEE-PEAT (revision 4596), a model for northern peatland CO2, water, and energy fluxes on daily to annual scales
Peatlands store substantial amounts of carbon and are vulnerable to climate change. We present a modified version of the Organising Carbon and Hydrology In Dynamic Ecosystems (ORCHIDEE) land surface model for simulating the hydrology, surface energy, and CO2 fluxes of peatlands on daily to annual timescales. The model includes a separate soil tile in each 0.5 degrees grid cell, defined from a global peatland map and identified with peat-specific soil hydraulic properties. Runoff from non-peat vegetation within a grid cell containing a fraction of peat is routed to this peat soil tile, which maintains shallow water tables. The water table position separates oxic from anoxic decomposition. The model was evaluated against eddy-covariance (EC) observations from 30 northern peatland sites, with the maximum rate of carboxylation (V-cmax) being optimized at each site. Regarding short-term day-to-day variations, the model performance was good for gross primary production (GPP) (r(2) = 0.76; Nash-Sutcliffe modeling efficiency, MEF = 0.76) and ecosystem respiration (ER, r(2) = 0.78, MEF = 0.75), with lesser accuracy for latent heat fluxes (LE, r(2) = 0.42, MEF = 0.14) and and net ecosystem CO2 exchange (NEE, r(2) = 0.38, MEF = 0.26). Seasonal variations in GPP, ER, NEE, and energy fluxes on monthly scales showed moderate to high r(2) values (0.57-0.86). For spatial across-site gradients of annual mean GPP, ER, NEE, and LE, r(2) values of 0.93, 0.89, 0.27, and 0.71 were achieved, respectively. Water table (WT) variation was not well predicted (r(2) <0.1), likely due to the uncertain water input to the peat from surrounding areas. However, the poor performance of WT simulation did not greatly affect predictions of ER and NEE. We found a significant relationship between optimized V-cmax and latitude (temperature), which better reflects the spatial gradients of annual NEE than using an average V-cmax value.Peer reviewe
Soil Respiration in Relation to Photosynthesis of Quercus mongolica Trees at Elevated CO2
Knowledge of soil respiration and photosynthesis under elevated CO2 is crucial for exactly understanding and predicting the carbon balance in forest ecosystems in a rapid CO2-enriched world. Quercus mongolica Fischer ex Ledebour seedlings were planted in open-top chambers exposed to elevated CO2 (ECâ=â500 ”mol molâ1) and ambient CO2 (ACâ=â370 ”mol molâ1) from 2005 to 2008. Daily, seasonal and inter-annual variations in soil respiration and photosynthetic assimilation were measured during 2007 and 2008 growing seasons. EC significantly stimulated the daytime soil respiration by 24.5% (322.4 at EC vs. 259.0 mg CO2 mâ2 hrâ1 at AC) in 2007 and 21.0% (281.2 at EC vs. 232.6 mg CO2 mâ2 hrâ1 at AC) in 2008, and increased the daytime CO2 assimilation by 28.8% (624.1 at EC vs. 484.6 mg CO2 mâ2 hrâ1 at AC) across the two growing seasons. The temporal variation in soil respiration was positively correlated with the aboveground photosynthesis, soil temperature, and soil water content at both EC and AC. EC did not affect the temperature sensitivity of soil respiration. The increased daytime soil respiration at EC resulted mainly from the increased aboveground photosynthesis. The present study indicates that increases in CO2 fixation of plants in a CO2-rich world will rapidly return to the atmosphere by increased soil respiration
- âŠ